This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including (...) combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic. This book offers new perspectives and challenges in the study of logic and will be of interest to all students and researchers interested the nature and future of logic. (shrink)

Models of both speech perception and speech production typically postulate a processing level that involves some form of phonological processing. There is disagreement, however, on the question of whether there are separate phonological systems for speech input versus speech output. We review a range of neuroscientific data that indicate that input and output phonological systems partially overlap. An important anatomical site of overlap appears to be the left posterior superior temporal gyrus. We then present the results of a new event‐related (...) functional magnetic resonance imaging (fMRI) experiment in which participants were asked to listen to and then (covertly) produce speech. In each participant, we found two regions in the left posterior superior temporal gyrus that responded both to the perception and production components of the task, suggesting that there is overlap in the neural systems that participate in phonological aspects of speech perception and speech production. The implications for neural models of verbal working memory are also discussed in connection with our findings. (shrink)

A proof method for automation of reasoning in a paraconsistent logic, the calculus C1* of da Costa, is presented. The method is analytical, using a specially designed tableau system. Actually two tableau systems were created. A first one, with a small number of rules in order to be mathematically convenient, is used to prove the soundness and the completeness of the method. The other one, which is equivalent to the former, is a system of derived rules designed to enhance computational (...) efficiency. A prototype based on this second system was effectively implemented. (shrink)

In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the (...) general concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual, are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics. (shrink)

A non-monotonic logic, the Logic of Plausible Reasoning (LPR), capable of coping with the demands of what we call complex reasoning, is introduced. It is argued that creative complex reasoning is the way of reasoning required in many instances of scientific thought, professional practice and common life decision taking. For managing the simultaneous consideration of multiple scenarios inherent in these activities, two new modalities, weak and strong plausibility, are introduced as part of the Logic of Plausible Deduction (LPD), a deductive (...) logic specially designed to serve as the monotonic support for LPR. Axiomatics and semantics for LPD, together with a completeness proof, are provided. Once LPD has been given, LPR may be defined via a concept of extension over LPD. Although the construction of LPR extensions is first presented in standard style, for the sake of comparison with existing non-monotonic formalisms, alternative more elegant and intuitive ways for constructing non-monotonic LPR extensions are also given and proofs of their equivalence are presented. (shrink)

Is conceptual engineering feasible? Answering that question requires a theory of semantic change, which is sometimes thought elusive. Fortunately, much is known about semantic change as it occurs in the wild. While usage is chaotic and complex, changes in a word’s use can produce changes in its meaning. There are several under-appreciated empirical constraints on how meanings change that stem from the following observation: word use finely reflects equilibrium between various communicative pressures. Much of the relevant work in linguistics has (...) employed the methods of empirical pragmatics and diachronic semantics. In this way, the study of meaning change can be brought to bear on the conceptual engineer’s normative project. The picture that emerges tells against the sorts of engineering projects most likely to appeal to philosophers. Some may stand to succeed, but they have significantly different contours than the typical ones. (shrink)

of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.

In the verbal domain, there is only very weak evidence favoring the view that working memory is an active state of long-term memory. We strengthen existing evidence by reviewing two recent fMRI studies of verbal working memory, which clearly demonstrate activation in the superior temporal lobe, a region known to be involved in processing speech during comprehension tasks.

Carnap in the 1930s discovered that there were non-normal interpretations of classical logic - ones for which negation and conjunction are not truth-functional so that a statement and its negation could have the same truth value, and a disjunction of two false sentences could be true. Church ar-gued that this did not call for a revision of classical logic. More recent writers seem to disa-gree. We provide a definition of "non-normal interpretation" and argue that Church was right, and in fact, (...) the existence of non-normal interpretations tells us something important about the condi-tions of extensionality of the classical logical operators. (shrink)

A description is given of the quantitative-qualitative distinction for terms in theories of measurable attributes, and, adjoined to that account, a suggestion is made concerning the sense in which empirical relational systems have an empirical attribute as their topic or focus. Since this characterization of quantitative terms, relative to a partition, makes no explicit reference to numbers, concatenation operations, or ordering relations, we show how our results are related to some standard theorems in the literature. Analogs of representation and uniqueness (...) theorems are proved, and the notions of exact quantitative term and the underlying attribute of a quantitative term, are described and studied. (shrink)

We canvas a number of past uses of Ramsey sentences which have yielded disappointing results, and then consider three very interesting recent attempts to deploy them for a Ramseyan Dialetheist theory of truth, a modal account of laws and theories, and a criterion for the existence of factual properties. We think that once attention is given to the specific kinds of theories that Ramsey had in mind, it becomes evident that their Ramsey sentences are not the best ways of presenting (...) those theories. (shrink)

The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations, a new account is proposed for distinguishing between laws and accidental generalizations. Among the new consequences of this proposal it is proved that any explanation of a contingent generalization shows that the generalization is not accidental. The second part involves physical theories, their modality, and their explanatory power. In particular, it is shown that Each theory has a theoretical implication structure (...) associated with it, such that there are new physical modal operators on these structures and also special modal entities that are in these structures. A special subset of the physical modals, the nomic modals are associated with the laws of theories. The familiar idea that theories always explain laws by deduction of them has to be seriously modified in light of the fact that there are a host of physical theories that we believe are schematic. Nevertheless, we think that there is a kind of non-deductive explanation and generality that they achieve by subsumtion under a schema. (shrink)

The initial part of this paper explores and rejects three standard views of how scientific laws might be systematically connected with physical necessity or possibility. The first concerns laws and their consequences, the second concerns the so‐called counterfactual connection, and the third concerns a possible worlds construction of physical necessity. The remaining part introduces a neglected notion of possibility, and, with the aid of some examples, illustrates the special way in which laws reduce or narrow down possibilities.

Social learning has been shown to be an evolutionarily adaptive strategy, but it can be implemented via many different cognitive mechanisms. The adaptive advantage of social learning depends crucially on the ability of each learner to obtain relevant and accurate information from informants. The source of informants’ knowledge is a particularly important cue for evaluating advice from multiple informants; if the informants share the source of their information or have obtained their information from each other, then their testimony is statistically (...) dependent and may be less reliable than testimony from informants who do not share information. In this study, we use a Bayesian model to determine how rational learners should incorporate the effects of shared information when learning from other people, conducting three experiments that examine whether human learners behave similarly. We find that people are sensitive to a number of different patterns of dependency, supporting the use of a sophisticated strategy for social learning that goes beyond copying the majority, and broadening the situations in which social learning is likely to be an adaptive strategy. (shrink)

Although rationalization about one's own beliefs and actions can improve an individual's future decisions, beliefs can provide other benefits unrelated to their epistemic truth value, such as group cohesion and identity. A model of resource-rational cognition that accounts for these benefits may explain unexpected and seemingly irrational thought patterns, such as belief polarization.

. On a structuralist account of logic, the logical operators, as well as modal operators are defined by the specific ways that they interact with respect to implication. As a consequence, the same logical operator (conjunction, negation etc.) can appear to be very different with a variation in the implication relation of a structure. We illustrate this idea by showing that certain operators that are usually regarded as extra-logical concepts (Tarskian algebraic operations on theories, mereological sum, products and negates of (...) individuals, intuitionistic operations on mathematical problems, epistemic operations on certain belief states) are simply the logical operators that are deployed in different implication structures. That makes certain logical notions more omnipresent than one would think. (shrink)

This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .

We shall try to defend two non-standard views that run counter to two well-entrenched familiar views. The standard views are the universal and existential quantifiers of first-order logic are not modal operators, and the quantifiers are extensional. If that is correct then the counterclaims create genuine problems for some traditional philosophical doctrines.

Objective: To explore the experiences of people with a “terminal illness”, focusing on the patients’ perspective of euthanasia and assisted suicide.Method: A qualitative study using narrative interviews was conducted throughout the UK. The views of the 18 people who discussed euthanasia and assisted suicide were explored. These were drawn from a maximum variation sample, who said that they had a “terminal” illness, malignant or non-malignant.Results: That UK law should be changed to allow assisted suicide or voluntary euthanasia was felt strongly (...) by most people. Those who had seen others die were particularly convinced that this should be a right. Some had multiple reasons, including pain and anticipated pain, fear of indignity, loss of control and cognitive impairment. Those who did not want to be a burden also had other reasons for wanting euthanasia. Suicide was contemplated by a few, who would have preferred a change in the law to allow them to end their lives with medical help and in the company of family or friends. The few who opposed a change in UK law, or who felt ambivalent, focused on involuntary euthanasia, cited religious reasons or worried that new legislation might be open to abuse.Conclusion: Qualitative research conducted on people who know they are nearing death is an important addition to the international debate on euthanasia and assisted suicide. Those who had seen others die were particularly convinced that the law should be changed to allow assisted death. (shrink)

Gaze direction signals another person’s focus of interest. Facial expressions convey information about their mental state. Appropriate responses to these signals should reflect their combined influence, yet current evidence suggests that gaze-cueing effects for objects near an observed face are not modulated by its emotional expression. Here, we extend the investigation of perceived gaze direction and emotional expression by considering their combined influence on affective judgments. While traditional response-time measures revealed equal gaze-cueing effects for happy and disgust faces, affective evaluations (...) critically depended on the combined product of gaze and emotion. Target objects looked at with a happy expression were liked more than objects looked at with a disgust expression. Objects not looked at were rated equally for both expressions. Our results demonstrate that facial expression does modulate the way that observers utilize gaze cues: Objects attended by others are evaluated according to the valence of their facial expression. C 2006 Elsevier B.V. All rights reserved. (shrink)